The cardinality of a finite set is a finite number.
Let’s identify finite numbers with elements of .
can be made into a category with hom-sets if and else.
Write for the wide subcategory of with objects finite sets and morphisms injections.
We then have the cardinality functor which associates its number of elements to every finite set.
This functor verifies the following properties:
Last revised on July 30, 2022 at 19:33:12. See the history of this page for a list of all contributions to it.